Mathematical picture language program
نویسندگان
چکیده
منابع مشابه
Mathematical picture language program
We give an overview of our philosophy of pictures in mathematics. We emphasize a bidirectional process between picture language and mathematical concepts: abstraction and simulation. This motivates a program to understand different subjects, using virtual and real mathematical concepts simulated by pictures.
متن کاملAutomating Mathematical Program Transformations
Program transformations are often not automated because their definitions do not specify the many details needed to implement them correctly in code. We define two, the conversion of Boolean expressions into integer inequalities and the convex hull transformation of disjunctive constraints, using a novel style based on set theory. This treats constraints as syntactic objects, allowing mappings ...
متن کاملMathematical Language Processing Project
In natural language, words and phrases themselves imply the semantics. In contrast, the meaning of identifiers in mathematical formulae is undefined. Thus scientists must study the context to decode the meaning. The Mathematical Language Processing (MLP) project aims to support that process. In this paper, we compare two approaches to discover identifier-definition tuples. At first we use a sim...
متن کاملMathematical Language Processing
While computer and communication technologies have provided effective means to scale up many aspects of education, the submission and grading of assessments such as homework assignments and tests remains a weak link. In this paper, we study the problem of automatically grading the kinds of open response mathematical questions that figure prominently in STEM (science, technology, engineering, an...
متن کاملA Special-Purpose Language for Picture-Drawing
Special purpose languages are typically characterized by a type of primitive data and domain-speci c operations on this data. One approach to special purpose language design is to embed the data and operations of the language within an existing functional language. The data can be de ned using the type constructions provided by the functional language, and the special purpose language then inhe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the National Academy of Sciences
سال: 2017
ISSN: 0027-8424,1091-6490
DOI: 10.1073/pnas.1710707114